Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order.
نویسندگان
چکیده
منابع مشابه
Interpretαbility of Robinson Arithmetic in the Ramified Second-Order Theory of Dense Linear Order
After a description of the ways in which predicative higher-order logic is thought too weak to be of interest, it is shown to be in some ways surprisingly rich: dense linear order, which has a decidable first-order theory, has an essentially undecidable theory in ramified second-order logic. Extensions of the main result are described and their philosophical significance briefly discussed. Alth...
متن کاملOn the stability of linear differential equations of second order
The aim of this paper is to investigate the Hyers-Ulam stability of the linear differential equation$$y''(x)+alpha y'(x)+beta y(x)=f(x)$$in general case, where $yin C^2[a,b],$ $fin C[a,b]$ and $-infty
متن کاملHigher-Order Linear Ramified Recurrence
Higher-Order Linear Ramified Recurrence (HOLRR) is a PTIME sound and complete typed lambda caluclus. Its terms are those of a linear (affine) λ-calculus – every variable occurs at most once – extended with a limited recursive scheme on a word algebra. Completeness for PTIME holds by embedding Leivant’s ramified recurrence on words into HOLRR. Soundness is established at all types – and not only...
متن کاملthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولThe maximal linear extension theorem in second order arithmetic
We show that the maximal linear extension theorem for well partial orders is equivalent over RCA0 to ATR0. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR0 over RCA0.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1991
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093636012